\(\int \frac {\log ^2(c (d+e x^3)^p)}{x^3} \, dx\) [136]

Optimal result

Integrand size = 18, antiderivative size = 1170 \[ \int \frac {\log ^2\left (c \left (d+e x^3\right )^p\right )}{x^3} \, dx=-\frac {e^{2/3} p^2 \log ^2\left (-\sqrt [3]{d}-\sqrt [3]{e} x\right )}{2 d^{2/3}}-\frac {e^{2/3} p^2 \log \left (-\sqrt [3]{d}-\sqrt [3]{e} x\right ) \log \left (-\frac {(-1)^{2/3} \sqrt [3]{d}+\sqrt [3]{e} x}{\left (1-(-1)^{2/3}\right ) \sqrt [3]{d}}\right )}{d^{2/3}}-\frac {(-1)^{2/3} e^{2/3} p^2 \log \left (\frac {\sqrt [3]{-1} \left (\sqrt [3]{d}+\sqrt [3]{e} x\right )}{\left (1+\sqrt [3]{-1}\right ) \sqrt [3]{d}}\right ) \log \left (-\sqrt [3]{d}+\sqrt [3]{-1} \sqrt [3]{e} x\right )}{d^{2/3}}-\frac {(-1)^{2/3} e^{2/3} p^2 \log ^2\left (-\sqrt [3]{d}+\sqrt [3]{-1} \sqrt [3]{e} x\right )}{2 d^{2/3}}+\frac {\sqrt [3]{-1} e^{2/3} p^2 \log \left (-\frac {(-1)^{2/3} \left (\sqrt [3]{d}+\sqrt [3]{e} x\right )}{\left (1-(-1)^{2/3}\right ) \sqrt [3]{d}}\right ) \log \left (-\sqrt [3]{d}-(-1)^{2/3} \sqrt [3]{e} x\right )}{d^{2/3}}+\frac {\sqrt [3]{-1} e^{2/3} p^2 \log \left (\frac {\sqrt [3]{-1} \left (\sqrt [3]{d}-\sqrt [3]{-1} \sqrt [3]{e} x\right )}{\left (1+\sqrt [3]{-1}\right ) \sqrt [3]{d}}\right ) \log \left (-\sqrt [3]{d}-(-1)^{2/3} \sqrt [3]{e} x\right )}{d^{2/3}}+\frac {\sqrt [3]{-1} e^{2/3} p^2 \log ^2\left (-\sqrt [3]{d}-(-1)^{2/3} \sqrt [3]{e} x\right )}{2 d^{2/3}}-\frac {e^{2/3} p^2 \log \left (-\sqrt [3]{d}-\sqrt [3]{e} x\right ) \log \left (\frac {\sqrt [3]{-1} \left (\sqrt [3]{d}+(-1)^{2/3} \sqrt [3]{e} x\right )}{\left (1+\sqrt [3]{-1}\right ) \sqrt [3]{d}}\right )}{d^{2/3}}-\frac {\sqrt [3]{-1} e^{2/3} p^2 \log \left (-\frac {(-1)^{2/3} \left (\sqrt [3]{d}+\sqrt [3]{e} x\right )}{\left (1-(-1)^{2/3}\right ) \sqrt [3]{d}}\right ) \log \left (\frac {\sqrt [3]{d}+(-1)^{2/3} \sqrt [3]{e} x}{\left (1-(-1)^{2/3}\right ) \sqrt [3]{d}}\right )}{d^{2/3}}-\frac {(-1)^{2/3} e^{2/3} p^2 \log \left (-\sqrt [3]{d}+\sqrt [3]{-1} \sqrt [3]{e} x\right ) \log \left (-\frac {(-1)^{2/3} \left (\sqrt [3]{d}+(-1)^{2/3} \sqrt [3]{e} x\right )}{\left (1-(-1)^{2/3}\right ) \sqrt [3]{d}}\right )}{d^{2/3}}+\frac {e^{2/3} p \log \left (-\sqrt [3]{d}-\sqrt [3]{e} x\right ) \log \left (c \left (d+e x^3\right )^p\right )}{d^{2/3}}+\frac {(-1)^{2/3} e^{2/3} p \log \left (-\sqrt [3]{d}+\sqrt [3]{-1} \sqrt [3]{e} x\right ) \log \left (c \left (d+e x^3\right )^p\right )}{d^{2/3}}-\frac {\sqrt [3]{-1} e^{2/3} p \log \left (-\sqrt [3]{d}-(-1)^{2/3} \sqrt [3]{e} x\right ) \log \left (c \left (d+e x^3\right )^p\right )}{d^{2/3}}-\frac {\log ^2\left (c \left (d+e x^3\right )^p\right )}{2 x^2}-\frac {e^{2/3} p^2 \operatorname {PolyLog}\left (2,\frac {\sqrt [3]{d}+\sqrt [3]{e} x}{\left (1+\sqrt [3]{-1}\right ) \sqrt [3]{d}}\right )}{d^{2/3}}-\frac {\sqrt [3]{-1} e^{2/3} p^2 \operatorname {PolyLog}\left (2,-\frac {(-1)^{2/3} \left (\sqrt [3]{d}+\sqrt [3]{e} x\right )}{\left (1-(-1)^{2/3}\right ) \sqrt [3]{d}}\right )}{d^{2/3}}-\frac {e^{2/3} p^2 \operatorname {PolyLog}\left (2,\frac {2 \left (\sqrt [3]{d}+\sqrt [3]{e} x\right )}{\left (3-i \sqrt {3}\right ) \sqrt [3]{d}}\right )}{d^{2/3}}-\frac {(-1)^{2/3} e^{2/3} p^2 \operatorname {PolyLog}\left (2,-\frac {\sqrt [3]{-1} \left ((-1)^{2/3} \sqrt [3]{d}+\sqrt [3]{e} x\right )}{\left (1-(-1)^{2/3}\right ) \sqrt [3]{d}}\right )}{d^{2/3}}-\frac {(-1)^{2/3} e^{2/3} p^2 \operatorname {PolyLog}\left (2,\frac {\sqrt [3]{d}-\sqrt [3]{-1} \sqrt [3]{e} x}{\left (1+\sqrt [3]{-1}\right ) \sqrt [3]{d}}\right )}{d^{2/3}}+\frac {\sqrt [3]{-1} e^{2/3} p^2 \operatorname {PolyLog}\left (2,\frac {\sqrt [3]{d}+(-1)^{2/3} \sqrt [3]{e} x}{\left (1+\sqrt [3]{-1}\right ) \sqrt [3]{d}}\right )}{d^{2/3}} \]

[Out]

-1/2*e^(2/3)*p^2*ln(-d^(1/3)-e^(1/3)*x)^2/d^(2/3)-e^(2/3)*p^2*ln(-d^(1/3)-e^(1/3)*x)*ln((-(-1)^(2/3)*d^(1/3)-e
^(1/3)*x)/(1-(-1)^(2/3))/d^(1/3))/d^(2/3)-(-1)^(2/3)*e^(2/3)*p^2*ln((-1)^(1/3)*(d^(1/3)+e^(1/3)*x)/(1+(-1)^(1/
3))/d^(1/3))*ln(-d^(1/3)+(-1)^(1/3)*e^(1/3)*x)/d^(2/3)-1/2*(-1)^(2/3)*e^(2/3)*p^2*ln(-d^(1/3)+(-1)^(1/3)*e^(1/
3)*x)^2/d^(2/3)+(-1)^(1/3)*e^(2/3)*p^2*ln(-(-1)^(2/3)*(d^(1/3)+e^(1/3)*x)/(1-(-1)^(2/3))/d^(1/3))*ln(-d^(1/3)-
(-1)^(2/3)*e^(1/3)*x)/d^(2/3)+(-1)^(1/3)*e^(2/3)*p^2*ln((-1)^(1/3)*(d^(1/3)-(-1)^(1/3)*e^(1/3)*x)/(1+(-1)^(1/3
))/d^(1/3))*ln(-d^(1/3)-(-1)^(2/3)*e^(1/3)*x)/d^(2/3)+1/2*(-1)^(1/3)*e^(2/3)*p^2*ln(-d^(1/3)-(-1)^(2/3)*e^(1/3
)*x)^2/d^(2/3)-(-1)^(1/3)*e^(2/3)*p^2*ln((-1)^(1/3)*(d^(1/3)-(-1)^(1/3)*e^(1/3)*x)/(1+(-1)^(1/3))/d^(1/3))*ln(
(d^(1/3)+(-1)^(2/3)*e^(1/3)*x)/(1+(-1)^(1/3))/d^(1/3))/d^(2/3)-e^(2/3)*p^2*ln(-d^(1/3)-e^(1/3)*x)*ln((-1)^(1/3
)*(d^(1/3)+(-1)^(2/3)*e^(1/3)*x)/(1+(-1)^(1/3))/d^(1/3))/d^(2/3)-(-1)^(1/3)*e^(2/3)*p^2*ln(-(-1)^(2/3)*(d^(1/3
)+e^(1/3)*x)/(1-(-1)^(2/3))/d^(1/3))*ln((d^(1/3)+(-1)^(2/3)*e^(1/3)*x)/(1-(-1)^(2/3))/d^(1/3))/d^(2/3)+(-1)^(2
/3)*e^(2/3)*p^2*ln(-(-1)^(1/3)*((-1)^(2/3)*d^(1/3)+e^(1/3)*x)/(1-(-1)^(2/3))/d^(1/3))*ln(-(-1)^(2/3)*(d^(1/3)+
(-1)^(2/3)*e^(1/3)*x)/(1-(-1)^(2/3))/d^(1/3))/d^(2/3)-(-1)^(2/3)*e^(2/3)*p^2*ln(-d^(1/3)+(-1)^(1/3)*e^(1/3)*x)
*ln(-(-1)^(2/3)*(d^(1/3)+(-1)^(2/3)*e^(1/3)*x)/(1-(-1)^(2/3))/d^(1/3))/d^(2/3)+e^(2/3)*p*ln(-d^(1/3)-e^(1/3)*x
)*ln(c*(e*x^3+d)^p)/d^(2/3)+(-1)^(2/3)*e^(2/3)*p*ln(-d^(1/3)+(-1)^(1/3)*e^(1/3)*x)*ln(c*(e*x^3+d)^p)/d^(2/3)-(
-1)^(1/3)*e^(2/3)*p*ln(-d^(1/3)-(-1)^(2/3)*e^(1/3)*x)*ln(c*(e*x^3+d)^p)/d^(2/3)-1/2*ln(c*(e*x^3+d)^p)^2/x^2-e^
(2/3)*p^2*polylog(2,(d^(1/3)+e^(1/3)*x)/(1+(-1)^(1/3))/d^(1/3))/d^(2/3)-(-1)^(1/3)*e^(2/3)*p^2*polylog(2,-(-1)
^(2/3)*(d^(1/3)+e^(1/3)*x)/(1-(-1)^(2/3))/d^(1/3))/d^(2/3)-(-1)^(2/3)*e^(2/3)*p^2*polylog(2,(d^(1/3)-(-1)^(1/3
)*e^(1/3)*x)/(1+(-1)^(1/3))/d^(1/3))/d^(2/3)-(-1)^(1/3)*e^(2/3)*p^2*polylog(2,(-1)^(1/3)*(d^(1/3)-(-1)^(1/3)*e
^(1/3)*x)/(1+(-1)^(1/3))/d^(1/3))/d^(2/3)+(-1)^(2/3)*e^(2/3)*p^2*polylog(2,-(-1)^(2/3)*(d^(1/3)+(-1)^(2/3)*e^(
1/3)*x)/(1-(-1)^(2/3))/d^(1/3))/d^(2/3)-e^(2/3)*p^2*polylog(2,2*(d^(1/3)+e^(1/3)*x)/d^(1/3)/(3-I*3^(1/2)))/d^(
2/3)

Rubi [A] (verified)

Time = 0.92 (sec) , antiderivative size = 1176, normalized size of antiderivative = 1.01, number of steps used = 39, number of rules used = 11, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.611, Rules used = {2507, 2521, 2512, 266, 2463, 2437, 2338, 2441, 2440, 2438, 12} \[ \int \frac {\log ^2\left (c \left (d+e x^3\right )^p\right )}{x^3} \, dx=-\frac {e^{2/3} \log ^2\left (-\sqrt [3]{e} x-\sqrt [3]{d}\right ) p^2}{2 d^{2/3}}-\frac {(-1)^{2/3} e^{2/3} \log ^2\left (\sqrt [3]{-1} \sqrt [3]{e} x-\sqrt [3]{d}\right ) p^2}{2 d^{2/3}}+\frac {\sqrt [3]{-1} e^{2/3} \log ^2\left (-(-1)^{2/3} \sqrt [3]{e} x-\sqrt [3]{d}\right ) p^2}{2 d^{2/3}}-\frac {e^{2/3} \log \left (-\sqrt [3]{e} x-\sqrt [3]{d}\right ) \log \left (-\frac {\sqrt [3]{e} x+(-1)^{2/3} \sqrt [3]{d}}{\left (1-(-1)^{2/3}\right ) \sqrt [3]{d}}\right ) p^2}{d^{2/3}}-\frac {(-1)^{2/3} e^{2/3} \log \left (\frac {\sqrt [3]{-1} \left (\sqrt [3]{e} x+\sqrt [3]{d}\right )}{\left (1+\sqrt [3]{-1}\right ) \sqrt [3]{d}}\right ) \log \left (\sqrt [3]{-1} \sqrt [3]{e} x-\sqrt [3]{d}\right ) p^2}{d^{2/3}}+\frac {\sqrt [3]{-1} e^{2/3} \log \left (-\frac {(-1)^{2/3} \left (\sqrt [3]{e} x+\sqrt [3]{d}\right )}{\left (1-(-1)^{2/3}\right ) \sqrt [3]{d}}\right ) \log \left (-(-1)^{2/3} \sqrt [3]{e} x-\sqrt [3]{d}\right ) p^2}{d^{2/3}}+\frac {\sqrt [3]{-1} e^{2/3} \log \left (\frac {\sqrt [3]{-1} \left (\sqrt [3]{d}-\sqrt [3]{-1} \sqrt [3]{e} x\right )}{\left (1+\sqrt [3]{-1}\right ) \sqrt [3]{d}}\right ) \log \left (-(-1)^{2/3} \sqrt [3]{e} x-\sqrt [3]{d}\right ) p^2}{d^{2/3}}-\frac {\sqrt [3]{-1} e^{2/3} \log \left (\frac {\sqrt [3]{-1} \left (\sqrt [3]{d}-\sqrt [3]{-1} \sqrt [3]{e} x\right )}{\left (1+\sqrt [3]{-1}\right ) \sqrt [3]{d}}\right ) \log \left (\frac {(-1)^{2/3} \sqrt [3]{e} x+\sqrt [3]{d}}{\left (1+\sqrt [3]{-1}\right ) \sqrt [3]{d}}\right ) p^2}{d^{2/3}}-\frac {e^{2/3} \log \left (-\sqrt [3]{e} x-\sqrt [3]{d}\right ) \log \left (\frac {\sqrt [3]{-1} \left ((-1)^{2/3} \sqrt [3]{e} x+\sqrt [3]{d}\right )}{\left (1+\sqrt [3]{-1}\right ) \sqrt [3]{d}}\right ) p^2}{d^{2/3}}-\frac {(-1)^{2/3} e^{2/3} \log \left (\sqrt [3]{-1} \sqrt [3]{e} x-\sqrt [3]{d}\right ) \log \left (-\frac {(-1)^{2/3} \left ((-1)^{2/3} \sqrt [3]{e} x+\sqrt [3]{d}\right )}{\left (1-(-1)^{2/3}\right ) \sqrt [3]{d}}\right ) p^2}{d^{2/3}}-\frac {e^{2/3} \operatorname {PolyLog}\left (2,\frac {\sqrt [3]{e} x+\sqrt [3]{d}}{\left (1+\sqrt [3]{-1}\right ) \sqrt [3]{d}}\right ) p^2}{d^{2/3}}-\frac {e^{2/3} \operatorname {PolyLog}\left (2,\frac {2 \left (\sqrt [3]{e} x+\sqrt [3]{d}\right )}{\left (3-i \sqrt {3}\right ) \sqrt [3]{d}}\right ) p^2}{d^{2/3}}-\frac {(-1)^{2/3} e^{2/3} \operatorname {PolyLog}\left (2,-\frac {\sqrt [3]{-1} \left (\sqrt [3]{e} x+(-1)^{2/3} \sqrt [3]{d}\right )}{\left (1-(-1)^{2/3}\right ) \sqrt [3]{d}}\right ) p^2}{d^{2/3}}-\frac {(-1)^{2/3} e^{2/3} \operatorname {PolyLog}\left (2,\frac {\sqrt [3]{d}-\sqrt [3]{-1} \sqrt [3]{e} x}{\left (1+\sqrt [3]{-1}\right ) \sqrt [3]{d}}\right ) p^2}{d^{2/3}}-\frac {\sqrt [3]{-1} e^{2/3} \operatorname {PolyLog}\left (2,\frac {\sqrt [3]{-1} \left (\sqrt [3]{d}-\sqrt [3]{-1} \sqrt [3]{e} x\right )}{\left (1+\sqrt [3]{-1}\right ) \sqrt [3]{d}}\right ) p^2}{d^{2/3}}+\frac {\sqrt [3]{-1} e^{2/3} \operatorname {PolyLog}\left (2,\frac {(-1)^{2/3} \sqrt [3]{e} x+\sqrt [3]{d}}{\left (1-(-1)^{2/3}\right ) \sqrt [3]{d}}\right ) p^2}{d^{2/3}}+\frac {e^{2/3} \log \left (-\sqrt [3]{e} x-\sqrt [3]{d}\right ) \log \left (c \left (e x^3+d\right )^p\right ) p}{d^{2/3}}+\frac {(-1)^{2/3} e^{2/3} \log \left (\sqrt [3]{-1} \sqrt [3]{e} x-\sqrt [3]{d}\right ) \log \left (c \left (e x^3+d\right )^p\right ) p}{d^{2/3}}-\frac {\sqrt [3]{-1} e^{2/3} \log \left (-(-1)^{2/3} \sqrt [3]{e} x-\sqrt [3]{d}\right ) \log \left (c \left (e x^3+d\right )^p\right ) p}{d^{2/3}}-\frac {\log ^2\left (c \left (e x^3+d\right )^p\right )}{2 x^2} \]

[In]

Int[Log[c*(d + e*x^3)^p]^2/x^3,x]

[Out]

-1/2*(e^(2/3)*p^2*Log[-d^(1/3) - e^(1/3)*x]^2)/d^(2/3) - (e^(2/3)*p^2*Log[-d^(1/3) - e^(1/3)*x]*Log[-(((-1)^(2
/3)*d^(1/3) + e^(1/3)*x)/((1 - (-1)^(2/3))*d^(1/3)))])/d^(2/3) - ((-1)^(2/3)*e^(2/3)*p^2*Log[((-1)^(1/3)*(d^(1
/3) + e^(1/3)*x))/((1 + (-1)^(1/3))*d^(1/3))]*Log[-d^(1/3) + (-1)^(1/3)*e^(1/3)*x])/d^(2/3) - ((-1)^(2/3)*e^(2
/3)*p^2*Log[-d^(1/3) + (-1)^(1/3)*e^(1/3)*x]^2)/(2*d^(2/3)) + ((-1)^(1/3)*e^(2/3)*p^2*Log[-(((-1)^(2/3)*(d^(1/
3) + e^(1/3)*x))/((1 - (-1)^(2/3))*d^(1/3)))]*Log[-d^(1/3) - (-1)^(2/3)*e^(1/3)*x])/d^(2/3) + ((-1)^(1/3)*e^(2
/3)*p^2*Log[((-1)^(1/3)*(d^(1/3) - (-1)^(1/3)*e^(1/3)*x))/((1 + (-1)^(1/3))*d^(1/3))]*Log[-d^(1/3) - (-1)^(2/3
)*e^(1/3)*x])/d^(2/3) + ((-1)^(1/3)*e^(2/3)*p^2*Log[-d^(1/3) - (-1)^(2/3)*e^(1/3)*x]^2)/(2*d^(2/3)) - ((-1)^(1
/3)*e^(2/3)*p^2*Log[((-1)^(1/3)*(d^(1/3) - (-1)^(1/3)*e^(1/3)*x))/((1 + (-1)^(1/3))*d^(1/3))]*Log[(d^(1/3) + (
-1)^(2/3)*e^(1/3)*x)/((1 + (-1)^(1/3))*d^(1/3))])/d^(2/3) - (e^(2/3)*p^2*Log[-d^(1/3) - e^(1/3)*x]*Log[((-1)^(
1/3)*(d^(1/3) + (-1)^(2/3)*e^(1/3)*x))/((1 + (-1)^(1/3))*d^(1/3))])/d^(2/3) - ((-1)^(2/3)*e^(2/3)*p^2*Log[-d^(
1/3) + (-1)^(1/3)*e^(1/3)*x]*Log[-(((-1)^(2/3)*(d^(1/3) + (-1)^(2/3)*e^(1/3)*x))/((1 - (-1)^(2/3))*d^(1/3)))])
/d^(2/3) + (e^(2/3)*p*Log[-d^(1/3) - e^(1/3)*x]*Log[c*(d + e*x^3)^p])/d^(2/3) + ((-1)^(2/3)*e^(2/3)*p*Log[-d^(
1/3) + (-1)^(1/3)*e^(1/3)*x]*Log[c*(d + e*x^3)^p])/d^(2/3) - ((-1)^(1/3)*e^(2/3)*p*Log[-d^(1/3) - (-1)^(2/3)*e
^(1/3)*x]*Log[c*(d + e*x^3)^p])/d^(2/3) - Log[c*(d + e*x^3)^p]^2/(2*x^2) - (e^(2/3)*p^2*PolyLog[2, (d^(1/3) +
e^(1/3)*x)/((1 + (-1)^(1/3))*d^(1/3))])/d^(2/3) - (e^(2/3)*p^2*PolyLog[2, (2*(d^(1/3) + e^(1/3)*x))/((3 - I*Sq
rt[3])*d^(1/3))])/d^(2/3) - ((-1)^(2/3)*e^(2/3)*p^2*PolyLog[2, -(((-1)^(1/3)*((-1)^(2/3)*d^(1/3) + e^(1/3)*x))
/((1 - (-1)^(2/3))*d^(1/3)))])/d^(2/3) - ((-1)^(2/3)*e^(2/3)*p^2*PolyLog[2, (d^(1/3) - (-1)^(1/3)*e^(1/3)*x)/(
(1 + (-1)^(1/3))*d^(1/3))])/d^(2/3) - ((-1)^(1/3)*e^(2/3)*p^2*PolyLog[2, ((-1)^(1/3)*(d^(1/3) - (-1)^(1/3)*e^(
1/3)*x))/((1 + (-1)^(1/3))*d^(1/3))])/d^(2/3) + ((-1)^(1/3)*e^(2/3)*p^2*PolyLog[2, (d^(1/3) + (-1)^(2/3)*e^(1/
3)*x)/((1 - (-1)^(2/3))*d^(1/3))])/d^(2/3)

Rule 12

Int[(a_)*(u_), x_Symbol] :> Dist[a, Int[u, x], x] /; FreeQ[a, x] &&  !MatchQ[u, (b_)*(v_) /; FreeQ[b, x]]

Rule 266

Int[(x_)^(m_.)/((a_) + (b_.)*(x_)^(n_)), x_Symbol] :> Simp[Log[RemoveContent[a + b*x^n, x]]/(b*n), x] /; FreeQ
[{a, b, m, n}, x] && EqQ[m, n - 1]

Rule 2338

Int[((a_.) + Log[(c_.)*(x_)^(n_.)]*(b_.))/(x_), x_Symbol] :> Simp[(a + b*Log[c*x^n])^2/(2*b*n), x] /; FreeQ[{a
, b, c, n}, x]

Rule 2437

Int[((a_.) + Log[(c_.)*((d_) + (e_.)*(x_))^(n_.)]*(b_.))^(p_.)*((f_) + (g_.)*(x_))^(q_.), x_Symbol] :> Dist[1/
e, Subst[Int[(f*(x/d))^q*(a + b*Log[c*x^n])^p, x], x, d + e*x], x] /; FreeQ[{a, b, c, d, e, f, g, n, p, q}, x]
&& EqQ[e*f - d*g, 0]

Rule 2438

Int[Log[(c_.)*((d_) + (e_.)*(x_)^(n_.))]/(x_), x_Symbol] :> Simp[-PolyLog[2, (-c)*e*x^n]/n, x] /; FreeQ[{c, d,
e, n}, x] && EqQ[c*d, 1]

Rule 2440

Int[((a_.) + Log[(c_.)*((d_) + (e_.)*(x_))]*(b_.))/((f_.) + (g_.)*(x_)), x_Symbol] :> Dist[1/g, Subst[Int[(a +
b*Log[1 + c*e*(x/g)])/x, x], x, f + g*x], x] /; FreeQ[{a, b, c, d, e, f, g}, x] && NeQ[e*f - d*g, 0] && EqQ[g
+ c*(e*f - d*g), 0]

Rule 2441

Int[((a_.) + Log[(c_.)*((d_) + (e_.)*(x_))^(n_.)]*(b_.))/((f_.) + (g_.)*(x_)), x_Symbol] :> Simp[Log[e*((f + g
*x)/(e*f - d*g))]*((a + b*Log[c*(d + e*x)^n])/g), x] - Dist[b*e*(n/g), Int[Log[(e*(f + g*x))/(e*f - d*g)]/(d +
e*x), x], x] /; FreeQ[{a, b, c, d, e, f, g, n}, x] && NeQ[e*f - d*g, 0]

Rule 2463

Int[((a_.) + Log[(c_.)*((d_) + (e_.)*(x_))^(n_.)]*(b_.))^(p_.)*((h_.)*(x_))^(m_.)*((f_) + (g_.)*(x_)^(r_.))^(q
_.), x_Symbol] :> Int[ExpandIntegrand[(a + b*Log[c*(d + e*x)^n])^p, (h*x)^m*(f + g*x^r)^q, x], x] /; FreeQ[{a,
b, c, d, e, f, g, h, m, n, p, q, r}, x] && IntegerQ[m] && IntegerQ[q]

Rule 2507

Int[((a_.) + Log[(c_.)*((d_) + (e_.)*(x_)^(n_))^(p_.)]*(b_.))^(q_)*((f_.)*(x_))^(m_.), x_Symbol] :> Simp[(f*x)
^(m + 1)*((a + b*Log[c*(d + e*x^n)^p])^q/(f*(m + 1))), x] - Dist[b*e*n*p*(q/(f^n*(m + 1))), Int[(f*x)^(m + n)*
((a + b*Log[c*(d + e*x^n)^p])^(q - 1)/(d + e*x^n)), x], x] /; FreeQ[{a, b, c, d, e, f, m, p}, x] && IGtQ[q, 1]
&& IntegerQ[n] && NeQ[m, -1]

Rule 2512

Int[((a_.) + Log[(c_.)*((d_) + (e_.)*(x_)^(n_))^(p_.)]*(b_.))/((f_.) + (g_.)*(x_)), x_Symbol] :> Simp[Log[f +
g*x]*((a + b*Log[c*(d + e*x^n)^p])/g), x] - Dist[b*e*n*(p/g), Int[x^(n - 1)*(Log[f + g*x]/(d + e*x^n)), x], x]
/; FreeQ[{a, b, c, d, e, f, g, n, p}, x] && RationalQ[n]

Rule 2521

Int[((a_.) + Log[(c_.)*((d_) + (e_.)*(x_)^(n_))^(p_.)]*(b_.))^(q_.)*((f_) + (g_.)*(x_)^(s_))^(r_.), x_Symbol]
:> With[{t = ExpandIntegrand[(a + b*Log[c*(d + e*x^n)^p])^q, (f + g*x^s)^r, x]}, Int[t, x] /; SumQ[t]] /; Free
Q[{a, b, c, d, e, f, g, n, p, q, r, s}, x] && IntegerQ[n] && IGtQ[q, 0] && IntegerQ[r] && IntegerQ[s] && (EqQ[
q, 1] || (GtQ[r, 0] && GtQ[s, 1]) || (LtQ[s, 0] && LtQ[r, 0]))

Rubi steps \begin{align*} \text {integral}& = -\frac {\log ^2\left (c \left (d+e x^3\right )^p\right )}{2 x^2}+(3 e p) \int \frac {\log \left (c \left (d+e x^3\right )^p\right )}{d+e x^3} \, dx \\ & = -\frac {\log ^2\left (c \left (d+e x^3\right )^p\right )}{2 x^2}+(3 e p) \int \left (-\frac {\log \left (c \left (d+e x^3\right )^p\right )}{3 d^{2/3} \left (-\sqrt [3]{d}-\sqrt [3]{e} x\right )}-\frac {\log \left (c \left (d+e x^3\right )^p\right )}{3 d^{2/3} \left (-\sqrt [3]{d}+\sqrt [3]{-1} \sqrt [3]{e} x\right )}-\frac {\log \left (c \left (d+e x^3\right )^p\right )}{3 d^{2/3} \left (-\sqrt [3]{d}-(-1)^{2/3} \sqrt [3]{e} x\right )}\right ) \, dx \\ & = -\frac {\log ^2\left (c \left (d+e x^3\right )^p\right )}{2 x^2}-\frac {(e p) \int \frac {\log \left (c \left (d+e x^3\right )^p\right )}{-\sqrt [3]{d}-\sqrt [3]{e} x} \, dx}{d^{2/3}}-\frac {(e p) \int \frac {\log \left (c \left (d+e x^3\right )^p\right )}{-\sqrt [3]{d}+\sqrt [3]{-1} \sqrt [3]{e} x} \, dx}{d^{2/3}}-\frac {(e p) \int \frac {\log \left (c \left (d+e x^3\right )^p\right )}{-\sqrt [3]{d}-(-1)^{2/3} \sqrt [3]{e} x} \, dx}{d^{2/3}} \\ & = \frac {e^{2/3} p \log \left (-\sqrt [3]{d}-\sqrt [3]{e} x\right ) \log \left (c \left (d+e x^3\right )^p\right )}{d^{2/3}}+\frac {(-1)^{2/3} e^{2/3} p \log \left (-\sqrt [3]{d}+\sqrt [3]{-1} \sqrt [3]{e} x\right ) \log \left (c \left (d+e x^3\right )^p\right )}{d^{2/3}}-\frac {\sqrt [3]{-1} e^{2/3} p \log \left (-\sqrt [3]{d}-(-1)^{2/3} \sqrt [3]{e} x\right ) \log \left (c \left (d+e x^3\right )^p\right )}{d^{2/3}}-\frac {\log ^2\left (c \left (d+e x^3\right )^p\right )}{2 x^2}-\frac {\left (3 e^{5/3} p^2\right ) \int \frac {x^2 \log \left (-\sqrt [3]{d}-\sqrt [3]{e} x\right )}{d+e x^3} \, dx}{d^{2/3}}+\frac {\left (3 \sqrt [3]{-1} e^{5/3} p^2\right ) \int \frac {x^2 \log \left (-\sqrt [3]{d}-(-1)^{2/3} \sqrt [3]{e} x\right )}{d+e x^3} \, dx}{d^{2/3}}-\frac {\left (3 (-1)^{2/3} e^{5/3} p^2\right ) \int \frac {x^2 \log \left (-\sqrt [3]{d}+\sqrt [3]{-1} \sqrt [3]{e} x\right )}{d+e x^3} \, dx}{d^{2/3}} \\ & = \frac {e^{2/3} p \log \left (-\sqrt [3]{d}-\sqrt [3]{e} x\right ) \log \left (c \left (d+e x^3\right )^p\right )}{d^{2/3}}+\frac {(-1)^{2/3} e^{2/3} p \log \left (-\sqrt [3]{d}+\sqrt [3]{-1} \sqrt [3]{e} x\right ) \log \left (c \left (d+e x^3\right )^p\right )}{d^{2/3}}-\frac {\sqrt [3]{-1} e^{2/3} p \log \left (-\sqrt [3]{d}-(-1)^{2/3} \sqrt [3]{e} x\right ) \log \left (c \left (d+e x^3\right )^p\right )}{d^{2/3}}-\frac {\log ^2\left (c \left (d+e x^3\right )^p\right )}{2 x^2}-\frac {\left (3 e^{5/3} p^2\right ) \int \left (\frac {\log \left (-\sqrt [3]{d}-\sqrt [3]{e} x\right )}{3 e^{2/3} \left (\sqrt [3]{d}+\sqrt [3]{e} x\right )}+\frac {\log \left (-\sqrt [3]{d}-\sqrt [3]{e} x\right )}{3 e^{2/3} \left (-\sqrt [3]{-1} \sqrt [3]{d}+\sqrt [3]{e} x\right )}+\frac {\log \left (-\sqrt [3]{d}-\sqrt [3]{e} x\right )}{3 e^{2/3} \left ((-1)^{2/3} \sqrt [3]{d}+\sqrt [3]{e} x\right )}\right ) \, dx}{d^{2/3}}+\frac {\left (3 \sqrt [3]{-1} e^{5/3} p^2\right ) \int \left (\frac {\log \left (-\sqrt [3]{d}-(-1)^{2/3} \sqrt [3]{e} x\right )}{3 e^{2/3} \left (\sqrt [3]{d}+\sqrt [3]{e} x\right )}+\frac {\log \left (-\sqrt [3]{d}-(-1)^{2/3} \sqrt [3]{e} x\right )}{3 e^{2/3} \left (-\sqrt [3]{-1} \sqrt [3]{d}+\sqrt [3]{e} x\right )}+\frac {\log \left (-\sqrt [3]{d}-(-1)^{2/3} \sqrt [3]{e} x\right )}{3 e^{2/3} \left ((-1)^{2/3} \sqrt [3]{d}+\sqrt [3]{e} x\right )}\right ) \, dx}{d^{2/3}}-\frac {\left (3 (-1)^{2/3} e^{5/3} p^2\right ) \int \left (\frac {\log \left (-\sqrt [3]{d}+\sqrt [3]{-1} \sqrt [3]{e} x\right )}{3 e^{2/3} \left (\sqrt [3]{d}+\sqrt [3]{e} x\right )}+\frac {\log \left (-\sqrt [3]{d}+\sqrt [3]{-1} \sqrt [3]{e} x\right )}{3 e^{2/3} \left (-\sqrt [3]{-1} \sqrt [3]{d}+\sqrt [3]{e} x\right )}+\frac {\log \left (-\sqrt [3]{d}+\sqrt [3]{-1} \sqrt [3]{e} x\right )}{3 e^{2/3} \left ((-1)^{2/3} \sqrt [3]{d}+\sqrt [3]{e} x\right )}\right ) \, dx}{d^{2/3}} \\ & = \frac {e^{2/3} p \log \left (-\sqrt [3]{d}-\sqrt [3]{e} x\right ) \log \left (c \left (d+e x^3\right )^p\right )}{d^{2/3}}+\frac {(-1)^{2/3} e^{2/3} p \log \left (-\sqrt [3]{d}+\sqrt [3]{-1} \sqrt [3]{e} x\right ) \log \left (c \left (d+e x^3\right )^p\right )}{d^{2/3}}-\frac {\sqrt [3]{-1} e^{2/3} p \log \left (-\sqrt [3]{d}-(-1)^{2/3} \sqrt [3]{e} x\right ) \log \left (c \left (d+e x^3\right )^p\right )}{d^{2/3}}-\frac {\log ^2\left (c \left (d+e x^3\right )^p\right )}{2 x^2}-\frac {\left (e p^2\right ) \int \frac {\log \left (-\sqrt [3]{d}-\sqrt [3]{e} x\right )}{\sqrt [3]{d}+\sqrt [3]{e} x} \, dx}{d^{2/3}}-\frac {\left (e p^2\right ) \int \frac {\log \left (-\sqrt [3]{d}-\sqrt [3]{e} x\right )}{-\sqrt [3]{-1} \sqrt [3]{d}+\sqrt [3]{e} x} \, dx}{d^{2/3}}-\frac {\left (e p^2\right ) \int \frac {\log \left (-\sqrt [3]{d}-\sqrt [3]{e} x\right )}{(-1)^{2/3} \sqrt [3]{d}+\sqrt [3]{e} x} \, dx}{d^{2/3}}+\frac {\left (\sqrt [3]{-1} e p^2\right ) \int \frac {\log \left (-\sqrt [3]{d}-(-1)^{2/3} \sqrt [3]{e} x\right )}{\sqrt [3]{d}+\sqrt [3]{e} x} \, dx}{d^{2/3}}+\frac {\left (\sqrt [3]{-1} e p^2\right ) \int \frac {\log \left (-\sqrt [3]{d}-(-1)^{2/3} \sqrt [3]{e} x\right )}{-\sqrt [3]{-1} \sqrt [3]{d}+\sqrt [3]{e} x} \, dx}{d^{2/3}}+\frac {\left (\sqrt [3]{-1} e p^2\right ) \int \frac {\log \left (-\sqrt [3]{d}-(-1)^{2/3} \sqrt [3]{e} x\right )}{(-1)^{2/3} \sqrt [3]{d}+\sqrt [3]{e} x} \, dx}{d^{2/3}}-\frac {\left ((-1)^{2/3} e p^2\right ) \int \frac {\log \left (-\sqrt [3]{d}+\sqrt [3]{-1} \sqrt [3]{e} x\right )}{\sqrt [3]{d}+\sqrt [3]{e} x} \, dx}{d^{2/3}}-\frac {\left ((-1)^{2/3} e p^2\right ) \int \frac {\log \left (-\sqrt [3]{d}+\sqrt [3]{-1} \sqrt [3]{e} x\right )}{-\sqrt [3]{-1} \sqrt [3]{d}+\sqrt [3]{e} x} \, dx}{d^{2/3}}-\frac {\left ((-1)^{2/3} e p^2\right ) \int \frac {\log \left (-\sqrt [3]{d}+\sqrt [3]{-1} \sqrt [3]{e} x\right )}{(-1)^{2/3} \sqrt [3]{d}+\sqrt [3]{e} x} \, dx}{d^{2/3}} \\ & = \text {Too large to display} \\ \end{align*}

Mathematica [A] (verified)

Time = 0.64 (sec) , antiderivative size = 766, normalized size of antiderivative = 0.65 \[ \int \frac {\log ^2\left (c \left (d+e x^3\right )^p\right )}{x^3} \, dx=-\frac {\log ^2\left (c \left (d+e x^3\right )^p\right )}{2 x^2}-\frac {e^{2/3} p \left (p \log ^2\left (-\sqrt [3]{d}-\sqrt [3]{e} x\right )+2 p \log \left (-\sqrt [3]{d}-\sqrt [3]{e} x\right ) \log \left (\frac {\sqrt [3]{-1} \sqrt [3]{d}-\sqrt [3]{e} x}{\left (1+\sqrt [3]{-1}\right ) \sqrt [3]{d}}\right )+2 p \log \left (-\sqrt [3]{d}-\sqrt [3]{e} x\right ) \log \left (\frac {i+\sqrt {3}-\frac {2 i \sqrt [3]{e} x}{\sqrt [3]{d}}}{3 i+\sqrt {3}}\right )-2 \log \left (-\sqrt [3]{d}-\sqrt [3]{e} x\right ) \log \left (c \left (d+e x^3\right )^p\right )-2 (-1)^{2/3} \log \left (-\sqrt [3]{d}+\sqrt [3]{-1} \sqrt [3]{e} x\right ) \log \left (c \left (d+e x^3\right )^p\right )+2 \sqrt [3]{-1} \log \left (-\sqrt [3]{d}-(-1)^{2/3} \sqrt [3]{e} x\right ) \log \left (c \left (d+e x^3\right )^p\right )+2 p \operatorname {PolyLog}\left (2,\frac {\sqrt [3]{d}+\sqrt [3]{e} x}{\left (1+\sqrt [3]{-1}\right ) \sqrt [3]{d}}\right )+(-1)^{2/3} p \left (\log \left (-\sqrt [3]{d}+\sqrt [3]{-1} \sqrt [3]{e} x\right ) \left (2 \log \left (\frac {\sqrt [3]{-1} \left (\sqrt [3]{d}+\sqrt [3]{e} x\right )}{\left (1+\sqrt [3]{-1}\right ) \sqrt [3]{d}}\right )+\log \left (-\sqrt [3]{d}+\sqrt [3]{-1} \sqrt [3]{e} x\right )+2 \log \left (\frac {(-1)^{2/3} \left (\sqrt [3]{d}+(-1)^{2/3} \sqrt [3]{e} x\right )}{\left (-1+(-1)^{2/3}\right ) \sqrt [3]{d}}\right )\right )+2 \operatorname {PolyLog}\left (2,\frac {\sqrt [3]{d}-\sqrt [3]{-1} \sqrt [3]{e} x}{\left (1+\sqrt [3]{-1}\right ) \sqrt [3]{d}}\right )+2 \operatorname {PolyLog}\left (2,\frac {-\sqrt [3]{d}+\sqrt [3]{-1} \sqrt [3]{e} x}{\left (-1+(-1)^{2/3}\right ) \sqrt [3]{d}}\right )\right )-\sqrt [3]{-1} p \left (\log \left (-\sqrt [3]{d}-(-1)^{2/3} \sqrt [3]{e} x\right ) \left (2 \log \left (\frac {(-1)^{2/3} \left (\sqrt [3]{d}+\sqrt [3]{e} x\right )}{\left (-1+(-1)^{2/3}\right ) \sqrt [3]{d}}\right )+2 \log \left (\frac {\sqrt [3]{-1} \left (\sqrt [3]{d}-\sqrt [3]{-1} \sqrt [3]{e} x\right )}{\left (1+\sqrt [3]{-1}\right ) \sqrt [3]{d}}\right )+\log \left (-\sqrt [3]{d}-(-1)^{2/3} \sqrt [3]{e} x\right )\right )+2 \operatorname {PolyLog}\left (2,\frac {\sqrt [3]{d}+(-1)^{2/3} \sqrt [3]{e} x}{\left (1+\sqrt [3]{-1}\right ) \sqrt [3]{d}}\right )+2 \operatorname {PolyLog}\left (2,\frac {\sqrt [3]{d}+(-1)^{2/3} \sqrt [3]{e} x}{\left (1-(-1)^{2/3}\right ) \sqrt [3]{d}}\right )\right )+2 p \operatorname {PolyLog}\left (2,\frac {2 i \left (1+\frac {\sqrt [3]{e} x}{\sqrt [3]{d}}\right )}{3 i+\sqrt {3}}\right )\right )}{2 d^{2/3}} \]

[In]

Integrate[Log[c*(d + e*x^3)^p]^2/x^3,x]

[Out]

-1/2*Log[c*(d + e*x^3)^p]^2/x^2 - (e^(2/3)*p*(p*Log[-d^(1/3) - e^(1/3)*x]^2 + 2*p*Log[-d^(1/3) - e^(1/3)*x]*Lo
g[((-1)^(1/3)*d^(1/3) - e^(1/3)*x)/((1 + (-1)^(1/3))*d^(1/3))] + 2*p*Log[-d^(1/3) - e^(1/3)*x]*Log[(I + Sqrt[3
] - ((2*I)*e^(1/3)*x)/d^(1/3))/(3*I + Sqrt[3])] - 2*Log[-d^(1/3) - e^(1/3)*x]*Log[c*(d + e*x^3)^p] - 2*(-1)^(2
/3)*Log[-d^(1/3) + (-1)^(1/3)*e^(1/3)*x]*Log[c*(d + e*x^3)^p] + 2*(-1)^(1/3)*Log[-d^(1/3) - (-1)^(2/3)*e^(1/3)
*x]*Log[c*(d + e*x^3)^p] + 2*p*PolyLog[2, (d^(1/3) + e^(1/3)*x)/((1 + (-1)^(1/3))*d^(1/3))] + (-1)^(2/3)*p*(Lo
g[-d^(1/3) + (-1)^(1/3)*e^(1/3)*x]*(2*Log[((-1)^(1/3)*(d^(1/3) + e^(1/3)*x))/((1 + (-1)^(1/3))*d^(1/3))] + Log
[-d^(1/3) + (-1)^(1/3)*e^(1/3)*x] + 2*Log[((-1)^(2/3)*(d^(1/3) + (-1)^(2/3)*e^(1/3)*x))/((-1 + (-1)^(2/3))*d^(
1/3))]) + 2*PolyLog[2, (d^(1/3) - (-1)^(1/3)*e^(1/3)*x)/((1 + (-1)^(1/3))*d^(1/3))] + 2*PolyLog[2, (-d^(1/3) +
(-1)^(1/3)*e^(1/3)*x)/((-1 + (-1)^(2/3))*d^(1/3))]) - (-1)^(1/3)*p*(Log[-d^(1/3) - (-1)^(2/3)*e^(1/3)*x]*(2*L
og[((-1)^(2/3)*(d^(1/3) + e^(1/3)*x))/((-1 + (-1)^(2/3))*d^(1/3))] + 2*Log[((-1)^(1/3)*(d^(1/3) - (-1)^(1/3)*e
^(1/3)*x))/((1 + (-1)^(1/3))*d^(1/3))] + Log[-d^(1/3) - (-1)^(2/3)*e^(1/3)*x]) + 2*PolyLog[2, (d^(1/3) + (-1)^
(2/3)*e^(1/3)*x)/((1 + (-1)^(1/3))*d^(1/3))] + 2*PolyLog[2, (d^(1/3) + (-1)^(2/3)*e^(1/3)*x)/((1 - (-1)^(2/3))
*d^(1/3))]) + 2*p*PolyLog[2, ((2*I)*(1 + (e^(1/3)*x)/d^(1/3)))/(3*I + Sqrt[3])]))/(2*d^(2/3))

Maple [C] (warning: unable to verify)

Result contains higher order function than in optimal. Order 9 vs. order 4.

Time = 0.77 (sec) , antiderivative size = 1787, normalized size of antiderivative = 1.53

method	result	size
risch	\(\text {Expression too large to display}\)	\(1787\)

[In]

int(ln(c*(e*x^3+d)^p)^2/x^3,x,method=_RETURNVERBOSE)

[Out]

-1/2/x^2*ln((e*x^3+d)^p)^2-p^2/(d/e)^(2/3)*ln(x+(d/e)^(1/3))*ln(e*x^3+d)+p/(d/e)^(2/3)*ln(x+(d/e)^(1/3))*ln((e
*x^3+d)^p)+1/2*p^2/(d/e)^(2/3)*ln(x^2-(d/e)^(1/3)*x+(d/e)^(2/3))*ln(e*x^3+d)-1/2*p/(d/e)^(2/3)*ln(x^2-(d/e)^(1
/3)*x+(d/e)^(2/3))*ln((e*x^3+d)^p)-p^2/(d/e)^(2/3)*3^(1/2)*arctan(1/3*3^(1/2)*(2/(d/e)^(1/3)*x-1))*ln(e*x^3+d)
+p/(d/e)^(2/3)*3^(1/2)*arctan(1/3*3^(1/2)*(2/(d/e)^(1/3)*x-1))*ln((e*x^3+d)^p)+1/2*p^2*sum(1/_alpha^2*(2*ln(x-
_alpha)*ln(e*x^3+d)-e*(1/_alpha^2/e*ln(x-_alpha)^2+2*_alpha*ln(x-_alpha)*(2*RootOf(_Z^2+3*_Z*_alpha+3*_alpha^2
,index=1)*RootOf(_Z^2+3*_Z*_alpha+3*_alpha^2,index=2)*ln((RootOf(_Z^2+3*_Z*_alpha+3*_alpha^2,index=1)-x+_alpha
)/RootOf(_Z^2+3*_Z*_alpha+3*_alpha^2,index=1))+2*RootOf(_Z^2+3*_Z*_alpha+3*_alpha^2,index=1)*RootOf(_Z^2+3*_Z*
_alpha+3*_alpha^2,index=2)*ln((RootOf(_Z^2+3*_Z*_alpha+3*_alpha^2,index=2)-x+_alpha)/RootOf(_Z^2+3*_Z*_alpha+3
*_alpha^2,index=2))+3*RootOf(_Z^2+3*_Z*_alpha+3*_alpha^2,index=1)*ln((RootOf(_Z^2+3*_Z*_alpha+3*_alpha^2,index
=1)-x+_alpha)/RootOf(_Z^2+3*_Z*_alpha+3*_alpha^2,index=1))*_alpha+6*RootOf(_Z^2+3*_Z*_alpha+3*_alpha^2,index=1
)*ln((RootOf(_Z^2+3*_Z*_alpha+3*_alpha^2,index=2)-x+_alpha)/RootOf(_Z^2+3*_Z*_alpha+3*_alpha^2,index=2))*_alph
a+6*RootOf(_Z^2+3*_Z*_alpha+3*_alpha^2,index=2)*ln((RootOf(_Z^2+3*_Z*_alpha+3*_alpha^2,index=1)-x+_alpha)/Root
Of(_Z^2+3*_Z*_alpha+3*_alpha^2,index=1))*_alpha+3*RootOf(_Z^2+3*_Z*_alpha+3*_alpha^2,index=2)*ln((RootOf(_Z^2+
3*_Z*_alpha+3*_alpha^2,index=2)-x+_alpha)/RootOf(_Z^2+3*_Z*_alpha+3*_alpha^2,index=2))*_alpha+9*ln((RootOf(_Z^
2+3*_Z*_alpha+3*_alpha^2,index=1)-x+_alpha)/RootOf(_Z^2+3*_Z*_alpha+3*_alpha^2,index=1))*_alpha^2+9*ln((RootOf
(_Z^2+3*_Z*_alpha+3*_alpha^2,index=2)-x+_alpha)/RootOf(_Z^2+3*_Z*_alpha+3*_alpha^2,index=2))*_alpha^2)/(3*_alp
ha+2*RootOf(_Z^2+3*_Z*_alpha+3*_alpha^2,index=1))/d/(3*_alpha+2*RootOf(_Z^2+3*_Z*_alpha+3*_alpha^2,index=2))+2
*_alpha*(2*dilog((RootOf(_Z^2+3*_Z*_alpha+3*_alpha^2,index=2)-x+_alpha)/RootOf(_Z^2+3*_Z*_alpha+3*_alpha^2,ind
ex=2))*RootOf(_Z^2+3*_Z*_alpha+3*_alpha^2,index=1)*RootOf(_Z^2+3*_Z*_alpha+3*_alpha^2,index=2)+6*dilog((RootOf
(_Z^2+3*_Z*_alpha+3*_alpha^2,index=2)-x+_alpha)/RootOf(_Z^2+3*_Z*_alpha+3*_alpha^2,index=2))*RootOf(_Z^2+3*_Z*
_alpha+3*_alpha^2,index=1)*_alpha+3*dilog((RootOf(_Z^2+3*_Z*_alpha+3*_alpha^2,index=2)-x+_alpha)/RootOf(_Z^2+3
*_Z*_alpha+3*_alpha^2,index=2))*RootOf(_Z^2+3*_Z*_alpha+3*_alpha^2,index=2)*_alpha+9*dilog((RootOf(_Z^2+3*_Z*_
alpha+3*_alpha^2,index=2)-x+_alpha)/RootOf(_Z^2+3*_Z*_alpha+3*_alpha^2,index=2))*_alpha^2+2*RootOf(_Z^2+3*_Z*_
alpha+3*_alpha^2,index=1)*RootOf(_Z^2+3*_Z*_alpha+3*_alpha^2,index=2)*dilog((RootOf(_Z^2+3*_Z*_alpha+3*_alpha^
2,index=1)-x+_alpha)/RootOf(_Z^2+3*_Z*_alpha+3*_alpha^2,index=1))+3*RootOf(_Z^2+3*_Z*_alpha+3*_alpha^2,index=1
)*dilog((RootOf(_Z^2+3*_Z*_alpha+3*_alpha^2,index=1)-x+_alpha)/RootOf(_Z^2+3*_Z*_alpha+3*_alpha^2,index=1))*_a
lpha+6*RootOf(_Z^2+3*_Z*_alpha+3*_alpha^2,index=2)*dilog((RootOf(_Z^2+3*_Z*_alpha+3*_alpha^2,index=1)-x+_alpha
)/RootOf(_Z^2+3*_Z*_alpha+3*_alpha^2,index=1))*_alpha+9*dilog((RootOf(_Z^2+3*_Z*_alpha+3*_alpha^2,index=1)-x+_
alpha)/RootOf(_Z^2+3*_Z*_alpha+3*_alpha^2,index=1))*_alpha^2)/(3*_alpha+2*RootOf(_Z^2+3*_Z*_alpha+3*_alpha^2,i
ndex=1))/d/(3*_alpha+2*RootOf(_Z^2+3*_Z*_alpha+3*_alpha^2,index=2)))),_alpha=RootOf(_Z^3*e+d))+(I*Pi*csgn(I*(e
*x^3+d)^p)*csgn(I*c*(e*x^3+d)^p)^2-I*Pi*csgn(I*(e*x^3+d)^p)*csgn(I*c*(e*x^3+d)^p)*csgn(I*c)-I*Pi*csgn(I*c*(e*x
^3+d)^p)^3+I*Pi*csgn(I*c*(e*x^3+d)^p)^2*csgn(I*c)+2*ln(c))*(-1/2*ln((e*x^3+d)^p)/x^2+3/2*p*e*(1/3/e/(d/e)^(2/3
)*ln(x+(d/e)^(1/3))-1/6/e/(d/e)^(2/3)*ln(x^2-(d/e)^(1/3)*x+(d/e)^(2/3))+1/3/e/(d/e)^(2/3)*3^(1/2)*arctan(1/3*3
^(1/2)*(2/(d/e)^(1/3)*x-1))))-1/8*(I*Pi*csgn(I*(e*x^3+d)^p)*csgn(I*c*(e*x^3+d)^p)^2-I*Pi*csgn(I*(e*x^3+d)^p)*c
sgn(I*c*(e*x^3+d)^p)*csgn(I*c)-I*Pi*csgn(I*c*(e*x^3+d)^p)^3+I*Pi*csgn(I*c*(e*x^3+d)^p)^2*csgn(I*c)+2*ln(c))^2/
x^2

Fricas [F]

\[ \int \frac {\log ^2\left (c \left (d+e x^3\right )^p\right )}{x^3} \, dx=\int { \frac {\log \left ({\left (e x^{3} + d\right )}^{p} c\right )^{2}}{x^{3}} \,d x } \]

[In]

integrate(log(c*(e*x^3+d)^p)^2/x^3,x, algorithm="fricas")

[Out]

integral(log((e*x^3 + d)^p*c)^2/x^3, x)

Sympy [F]

\[ \int \frac {\log ^2\left (c \left (d+e x^3\right )^p\right )}{x^3} \, dx=\int \frac {\log {\left (c \left (d + e x^{3}\right )^{p} \right )}^{2}}{x^{3}}\, dx \]

[In]

integrate(ln(c*(e*x**3+d)**p)**2/x**3,x)

[Out]

Integral(log(c*(d + e*x**3)**p)**2/x**3, x)

Maxima [F(-2)]

Exception generated. \[ \int \frac {\log ^2\left (c \left (d+e x^3\right )^p\right )}{x^3} \, dx=\text {Exception raised: ValueError} \]

[In]

integrate(log(c*(e*x^3+d)^p)^2/x^3,x, algorithm="maxima")

[Out]

Exception raised: ValueError >> Computation failed since Maxima requested additional constraints; using the 'a
ssume' command before evaluation *may* help (example of legal syntax is 'assume(e>0)', see `assume?` for more
details)Is e

Giac [F]

\[ \int \frac {\log ^2\left (c \left (d+e x^3\right )^p\right )}{x^3} \, dx=\int { \frac {\log \left ({\left (e x^{3} + d\right )}^{p} c\right )^{2}}{x^{3}} \,d x } \]

[In]

integrate(log(c*(e*x^3+d)^p)^2/x^3,x, algorithm="giac")

[Out]

integrate(log((e*x^3 + d)^p*c)^2/x^3, x)

Mupad [F(-1)]

Timed out. \[ \int \frac {\log ^2\left (c \left (d+e x^3\right )^p\right )}{x^3} \, dx=\int \frac {{\ln \left (c\,{\left (e\,x^3+d\right )}^p\right )}^2}{x^3} \,d x \]

[In]

int(log(c*(d + e*x^3)^p)^2/x^3,x)

[Out]

int(log(c*(d + e*x^3)^p)^2/x^3, x)